\part{Prise en main de \minisat}

\vspace*{\stretch{1}}
Cette partie traite de l'utilisation de minisat et des premi\`eres id\'ees pour la traduction de contraintes vers le langage de \minisat.
\vspace*{\stretch{1}}